From 85d971b40b15a58780a9c16eec3ccecb7a98b7f6 Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Fri, 30 Oct 2015 12:52:47 -0400 Subject: [PATCH] HighContrast: Update paned styling Adapt to the new element names. --- gtk/theme/HighContrast/_common.scss | 25 ++++++++++++------------- gtk/theme/HighContrast/gtk.css | 27 +++++++++++++++------------ 2 files changed, 27 insertions(+), 25 deletions(-) diff --git a/gtk/theme/HighContrast/_common.scss b/gtk/theme/HighContrast/_common.scss index acefe926d7..1f94c4c3f0 100644 --- a/gtk/theme/HighContrast/_common.scss +++ b/gtk/theme/HighContrast/_common.scss @@ -2278,35 +2278,34 @@ GtkPlacesSidebar.sidebar { *********/ -GtkPaned { +paned { // This is actually the invisible area of the paned separator, not a margin... margin: 0 8px 8px 0; //drag area of the separator &:dir(rtl) { margin-right: 0; margin-left: 8px; } -} - -.pane-separator { - //FIXME abusing a background-image to get rid of the handle decoration - //I'd like something better... - background-image: linear-gradient(to bottom, $borders_color); - &:backdrop { - background-image: linear-gradient(to bottom, $backdrop_borders_color); + separator { + //FIXME abusing a background-image to get rid of the handle decoration + //I'd like something better... + background-image: linear-gradient(to bottom, $borders_color); + &:backdrop { + background-image: linear-gradient(to bottom, $backdrop_borders_color); + } } } -GtkPaned.wide { // this is for the paned with wide separator +paned.wide { // this is for the paned with wide separator -GtkPaned-handle-size: 5; // wider separator here margin: 0; // no need of the invisible drag area so, reset margin - .pane-separator { + separator { background-color: transparent; border-style: none solid; border-color: $borders_color; border-width: 1px; } - &.vertical .pane-separator { border-style: solid none;} - .pane-separator:backdrop { border-color: $backdrop_borders_color; } + &.vertical separator { border-style: solid none;} + separator:backdrop { border-color: $backdrop_borders_color; } } /************** diff --git a/gtk/theme/HighContrast/gtk.css b/gtk/theme/HighContrast/gtk.css index ab979505bc..78ef00b919 100644 --- a/gtk/theme/HighContrast/gtk.css +++ b/gtk/theme/HighContrast/gtk.css @@ -2450,28 +2450,31 @@ GtkPlacesSidebar.sidebar .view { /********* * Paned * *********/ -GtkPaned { +paned { margin: 0 8px 8px 0; } - GtkPaned:dir(rtl) { + paned:dir(rtl) { margin-right: 0; margin-left: 8px; } - -.pane-separator { - background-image: linear-gradient(to bottom, gray); } - .pane-separator:backdrop { - background-image: linear-gradient(to bottom, #8d8d8d); } - -GtkPaned.wide { + paned separator, paned GtkPlacesSidebar.sidebar .view separator, GtkPlacesSidebar.sidebar .view paned separator, + paned GtkPlacesSidebar.sidebar .view separator:backdrop, + GtkPlacesSidebar.sidebar .view paned separator:backdrop { + background-image: linear-gradient(to bottom, gray); } + paned separator:backdrop, paned GtkPlacesSidebar.sidebar .view separator:backdrop, GtkPlacesSidebar.sidebar .view paned separator:backdrop { + background-image: linear-gradient(to bottom, #8d8d8d); } + +paned.wide { -GtkPaned-handle-size: 5; margin: 0; } - GtkPaned.wide .pane-separator { + paned.wide separator, paned.wide GtkPlacesSidebar.sidebar .view separator, GtkPlacesSidebar.sidebar .view paned.wide separator { background-color: transparent; border-style: none solid; border-color: gray; border-width: 1px; } - GtkPaned.wide.vertical .pane-separator { + paned.wide.vertical separator, + paned.wide.vertical GtkPlacesSidebar.sidebar .view separator:backdrop, + GtkPlacesSidebar.sidebar .view paned.wide.vertical separator:backdrop { border-style: solid none; } - GtkPaned.wide .pane-separator:backdrop { + paned.wide separator:backdrop { border-color: #8d8d8d; } /************** -- 2.30.2